約 1,482,814 件
https://w.atwiki.jp/thijikun/pages/48.html
ティジクンの集い?のもととなったサイト。管理人はやっしー?。 リンク
https://w.atwiki.jp/orecaretsuden/pages/430.html
ファファン パラメータ 成長パターン 初期コマンド 覚える技 ファファン 出現条件 クラスチェンジ派生 解説 コマンドサンプル(【ドコクスイの息】型・コマンド潜在) ファファン パラメータ 出現章 新3章 性別 無 属性 土 HP 110-116 クラス ★★ 攻撃 33-35 種族 ドラゴン 素早さ 16-17 EX(ボタン連打) ハッケの息→タイキョクハッケの息 入手方法 ファン(Lv10)でクラスチェンジ 成長パターン + HP 赤字 はA個体とB個体で差異がある箇所。 Lv1 Lv2 Lv3 Lv4 Lv5 Lv6 Lv7 Lv8 Lv9 Lv10 ランク F 110 112 114 116 119 121 123 125 127 130 E 111 113 116 118 120 122 124 126 129 131 D 113 115 117 119 121 123 126 128 130 132 C 114 116 118 120 123 125 127 129 131 133 B 115 117 120 122 124 126 128 130 133 135 A 116 119 121 123 125 127 129 132 134 136 + 攻撃 赤字 はA個体とB個体で差異がある箇所。 Lv1 Lv2 Lv3 Lv4 Lv5 Lv6 Lv7 Lv8 Lv9 Lv10 ランク F 33 34 35 35 36 37 37 38 39 40 E 34 35 35 36 37 37 38 39 39 40 D 34 35 36 36 37 38 38 39 40 40 C 35 35 36 37 37 38 39 39 40 41 B 35 36 36 37 38 38 39 40 40 41 A 35 36 37 37 38 39 39 40 41 42 + 素早さ 赤字 はA個体とB個体で差異がある箇所。 Lv1 Lv2 Lv3 Lv4 Lv5 Lv6 Lv7 Lv8 Lv9 Lv10 ランク F 16 17 17 17 18 18 18 19 19 20 E 17 17 17 18 18 18 19 19 19 20 D 17 17 18 18 18 19 19 19 20 20 C 17 17 18 18 18 19 19 19 20 20 B 17 18 18 18 19 19 19 20 20 20 A 17 18 18 18 19 19 19 20 20 21 初期コマンド # ★ ★★ 1 ファン(Lv10)から継承 ミス 2 こうげき 3 こうげき 4 こうげき! 5 たいあたり 6 ドコクスイの息 覚える技 単体選択攻撃 こうげき こうげき! ランダム攻撃 全体攻撃 たいあたり サンダーブレス ドコクスイの息 防御 回復 強化 召喚 異常 EX増減 コマンドパワー増減 ためる ★→★★ 技変化 無効 ミス ファファン 出現条件 クラス合計 3~6 クラス合計 7~9(レア) クラスチェンジ派生 ファファン(Lv10)で無条件クラスチェンジ→ファンロー 解説 【ドコクスイの息】は毒属性のブレス攻撃。 土属性モンスターでありながら、水属性に対して大きめのダメージを与える事ができる。 かつては物足りない性能だったが、星の章で威力が引き上げられ、更に 2019/12/11のアップデート では防御ダウンが追加されている。詳細は竜帝ファンロンのページを参照。 コマンドサンプル(【ドコクスイの息】型・コマンド潜在) # ★ ★★ 1 こうげき! or ためる ミス 2 ★→★★ ミス 3 ★→★★ ドコクスイの息 4 ★→★★ ドコクスイの息 5 ★→★★ ドコクスイの息 6 ★→★★ ドコクスイの息 1リールに【こうげき!】は入れられても【たいあたり】にはできない。 アーケード版で強化された【ドコクスイの息】を活用するのであれば、この段階から【ドコクスイの息】型として育てるのもありだろう。 防御ダウンを与えて味方の攻撃を支援できるし、ダメージも同クラスの範囲で見れば悪くない。 # ★ ★★ 1 (省略) ミス 2 こうげき 3 サンダーブレス 4 ドコクスイの息 5 ドコクスイの息 6 ドコクスイの息 ミス入れを行わない場合にはこのようになる。 進化の準備が目的であれば、ミス入れの必要性は無いのでこのように育てていくのが良いだろう。 【サンダーブレス】よりも【ドコクスイの息】のコストが大きい事は確定したが、両者の差はそれほど開いていない模様。
https://w.atwiki.jp/ohkubo3/pages/8.html
動画(youtube) @wikiのwikiモードでは #video(動画のURL) と入力することで、動画を貼り付けることが出来ます。 詳しくはこちらをご覧ください。 =>http //atwiki.jp/guide/17_209_ja.html また動画のURLはYoutubeのURLをご利用ください。 =>http //www.youtube.com/ たとえば、#video(http //youtube.com/watch?v=kTV1CcS53JQ)と入力すると以下のように表示されます。
https://w.atwiki.jp/zetu0508/pages/227.html
ファン 完名[ふぁん|たすく] 男 統一紀元前1425~ 出身不明 髪:灰色 瞳:兎/薄い赤 稀目:なし カウマ法国の枢機卿。 カルチェとカサルデの息子、チェロンの兄、関係として義弟にヨロンが居る。 父カルチェを旅の空で失い、その後ヨロンに家族ごと拾われるが、向上心が高く当時としては最上職の僧侶を目指す。 語学が堪能でありカウマ教の経文を秘術を唱える古代フラウル語に精通し、それをカウマの法官に認められ広い上げられる。 ドリュス法皇の秘密を暴く為、祝福される者達と接触を行い、見事その任を果たした事から除籍を一気に上げた。 その後もカウマ教団を護る為に、自ら手を汚して教団を護った。 しかし戒律から外れる行為であった為に、その名は以後表に出る事は無かった。
https://w.atwiki.jp/hirotakaohkubo/pages/53.html
Chapter 14 p.106 Case ws = [ ] ys is not defined here. p.108 l.-2, Fig.14-1 Wrong cocktail Correct cocktail (4 occurences) p.110 in equation l.10 Wrong (0,0,[ ],[ ],[ ]) Correct (0,0,[ ],[ ]) l.12, l.14 Wrong ([ ],[ ],[ ]) Correct (0,0,[ ],[ ]) l.-9, l.-4 Wrong Hence, step (…) = (…) Correct Hence, step (…) = step (…) Chapter 15 p.113 l.-3 Wrong b=m Correct b=q+m p.115 Fig 15.2 l.1 Remove a ) at the tail of the line. p.115 Fig 15.2 l.-2 Wrong llcp Correct llcp Place comment here Name Message
https://w.atwiki.jp/hirotakaohkubo/pages/77.html
p.116 Fig6.2 Selected elements should be emphasized in italics. p.120 split in qsort " if x pivot " should be " if x = pivot " p.122 " msort " should be " msort " (also appears in p.127) "mergep" is abbreviation of "mergepairs" p.124 L.6 Wrong the first list cell Correct the deleted list cell p.125 L.6 - L.8 Errata The discussion here is corrupted. Because 2nd argument is dominant in the definition of insert , so the insert pipeline is not built progressively, but immediately. For example, lazy evaluation go like head (insert 1 (insert 2 (insert 3 []))) = head (insert 1 (insert 2 [3])) = head (insert 1 [2,3]) = head [1,2,3] = 1 So, the largest space used is O(n) in every situation. p.125 L.-9 to L.-7 Errata " qsort " is " qs " " split " is " split " p.127 L.-8 Errata In inserting an element, whether it is small or large, the merge operation always touch the bottom of the heap. In deleting a smallest element, the merge operation always touch the bottom of the heap, too. So, there is no "lucky" case, every case is the "worst" case here. p.133 exercise 6.11 You need to use the alternative version buildTree = foldl (flip addTree) EmptyBT instead of the original foldr version.
https://w.atwiki.jp/hirotakaohkubo/pages/44.html
Coq Art Interactive Theorem Proving and Program Development Coq Art The Calculus of Inductive Constructions 公式 http //www.labri.fr/perso/casteran/CoqArt/index.html (背景色注意) 2012年正規輪講
https://w.atwiki.jp/hirotakaohkubo/pages/25.html
ex12.13 関数 format は d1 ˆ d2 に対して左側と右側の指示子が要求する値をカリー化して順にとり、 それらを文字列化して返す関数を作らなければならない。 しかし、format d1 と format d2 から返される関数はいったいいくつの引数を要求するのかわからないので、両者を束ねようがない。 ex12.14 (少し自信なし) よくある蓄積変数を用いる構造にしたため、蓄積変数の初期値を format2 指示子 データ1…データn ""(初期値) のように追加の引数として渡さなければならないようになってしまった。 format2 Dir (String- String) y - y format2 d = format2 d id id format2 Dir x y - ((String- String) - x) - ((String- String) - y) format2 (Lit s) = \ cont out - cont (\x - out (s++x)) format2 (Int) = \ cont out - \ i - cont (\x - out (show i++x)) format2 (String) = \ cont out - \ s - cont (\x - out (s++x)) format2 (d1 ^ d2) = format2 d1 . format2 d2 ex12.15 問題12.14と同様の高速化を図ることもできるが、ここでは素朴な解のみを示す。 data Dir x where End Dir String Endd Dir (String- String) Lit String - Dir y - Dir y Int Dir y - Dir (Int - y) String Dir y - Dir (String- y) format Dir x - x format d = format d "" format Dir x - String - x format End out = out format (Lit s next) out = format next (out ++ s) format (Int next) out = \ i - format next (out ++ show i) format (String next) out = \ s - format next (out ++ s) ex12.16 × ex12.17 型のユニフィケーションをアシストするためのラッパWrapを補助的に用いる。 スクラッチでという意味がわからない。 newtype Wrap a = Wrap { unWrap a } from forall a b . (a = b) - (a- b) from p = unWrap . apply p . Wrap to forall a b . (a = b) - (b- a) to = from . symm ex12.18 × コメント 名前 コメント
https://w.atwiki.jp/hirotakaohkubo/pages/11.html
コメントプラグイン @wikiのwikiモードでは #comment() と入力することでコメントフォームを簡単に作成することができます。 詳しくはこちらをご覧ください。 =>http //atwiki.jp/guide/17_60_ja.html たとえば、#comment() と入力すると以下のように表示されます。 名前 コメント
https://w.atwiki.jp/hirotakaohkubo/pages/29.html
2.1 prop_InsertOrdered x = forAll orderedList $ \ xs - let xxs = x xs ins = insert x xs in ordered ins sameContents xxs ins sameContents xs ys = null (xs \\ ys) null (ys \\ xs) 2.2 マージ merge xxs@(x xs) yys@(y ys) | x = y = x merge xs yys | True = y merge xxs ys merge xs [] = xs merge [] ys = ys prop_MergeOrdered Property prop_MergeOrdered = forAll orderedList body where body [Integer] - Property body xs = forAll orderedList $ \ ys - let mgs = merge xs ys aps = xs ++ ys in ordered mgs sameContents mgs aps マージソート msort Ord a = [a] - [a] msort [] = [] msort [x] = [x] msort xs = merge (msort us) (msort vs) where (us, vs) = splitAt (length xs `div` 2) xs prop_Msort [Integer] - Bool prop_Msort xs = ordered (msort xs) 2.3 -- 実行可能仕様 type Buffer = (Int, String) empty = (0, "") Buffer insert Char - Buffer - Buffer insert c (p, s) = (p+1, take p s ++ c drop p s) delete Buffer - Buffer delete (p, s) = (p-1, take (p-1) s ++ drop p s) left (p, s) = (p-1, s) ; left Buffer - Buffer right (p, s) = (p+1, s) ; right Buffer - Buffer atLeft (p, _) = p == 0 ; atLeft Buffer - Bool atRight (p, s) = p == length s ; atRight Buffer - Bool -- 効率的実装 type BufferI = (String, String) emptyI = ("", "") BufferI insertI c (a, b) = (c a, b) ; insertI Char - BufferI - BufferI deleteI (c a, b) = (a, b) ; deleteI BufferI - BufferI leftI (c a, b) = (a, c b) ; leftI BufferI - BufferI rightI (a, c b) = (c a, b) ; rightI BufferI - BufferI atLeftI (a, _) = null a ; atLeftI BufferI - Bool atRightI (_, b) = null b ; atRightI BufferI - Bool -- 回収関数 retreiveI BufferI - Buffer retreiveI (a, b) = (length a, foldl (flip ( )) b a) -- reverse a b -- テスト prop_empty = retreiveI emptyI == empty prop_insert c a b = (retreiveI $ insertI c (a,b)) == (insert c $ retreiveI (a,b)) prop_delete (NonEmpty a) b = (retreiveI $deleteI (a,b))==(delete$ retreiveI (a,b)) prop_left (NonEmpty a) b = (retreiveI $ leftI (a,b)) == (left $ retreiveI (a,b)) prop_right a (NonEmpty b) = (retreiveI $ rightI (a,b))==(right $ retreiveI (a,b)) prop_atleft a b = atLeftI (a,b) == (atLeft $ retreiveI (a,b)) prop_atright a b = atRightI (a,b) == (atRight $ retreiveI (a,b)) 2.4 代数的仕様と標準形は秘匿する。 prop_i c c buf = insertI c (leftI (insertI c buf)) == leftI (insertI c (insertI c buf)) prop_d1 c buf = not (atLeftI buf) == deleteI (leftI (insertI c buf)) == leftI (insertI c (deleteI buf)) prop_d2 c buf = deleteI (insertI c buf) == buf prop_r buf = not (atLeftI buf) == rightI (leftI buf) == buf prop_al1 = atLeftI emptyI == True prop_al2 c buf = atLeftI (insertI c buf) == False prop_al3 c buf = atLeftI (leftI (insertI c buf)) == atLeftI buf prop_ar1 = atRightI emptyI == True prop_ar2 c buf = atRightI (insertI c buf) == atRightI buf prop_ar3 buf = not (atLeftI buf) == atRightI (leftI buf) == False -- prop_l buf buf c c = not (atLeftI buf) leftI buf == leftI (insertI c buf ) == leftI (leftI (insertI c buf)) == leftI (insertI c (leftI (insertI c buf ))) prop_l buf c c = not (atLeftI buf) leftI buf == leftI (insertI c buf ) == leftI (leftI (insertI c buf)) == leftI (insertI c (leftI (insertI c buf ))) where buf = insertI c buf prop_lはコメントの物が代数的仕様に対応するが、quickCheck的な都合で変形した。 コメント 名前 コメント